../../VC4C/testing/test_builtins.cl